propositional logic syntax - Alemán Inglés Diccionario